\section{Process supervision}

\subsection*{Provide process supervision}
\textbf{Status:} done

A process can supervise another one using the superviser system call. It receives automatically a message when a supervised process quits. This message contains enough information to know what happened. 

Since our system uses dynamic memory allocation, there is no such thing as a full message queue. So, we did not change the semantics of the send operation.

\subsection*{Process supervision}
\textbf{Status:} done

A program has been written to demonstrate the use of this feature. Instead of crashing when the message is full (which would mean that the system is out of memory in our case), the processes implicated in the demonstration program crash after having sent 10 messages.  
